関数的プログラミング② 関数型言語 その1